Test Shape Generation of Dynamically Linked Structures
نویسندگان
چکیده
This paper proposes an approach to generate test data specifically for dynamic pointer structures. A pointer is considered and handled as a location in a memory which is modeled as a linear array. Test data can be directly generated from this array. The method handles a variety of dynamic structures and the shape generation can be achieved in linear time in terms of the number of statements related to pointer operations.
منابع مشابه
Run-time Correctness Checking Is Algorithmically Undecidable for Pointer Data Structures
Programs routinely use complicated pointer (linked list-type) data structures such as linked lists, doubly linked lists, diierent types of trees, etc. These data structures are usually deened inductively: e.g., a tree can be deened as a structure that results from an empty tree by an arbitrary sequence of adding and deleting elements. When the program runs, these data structures take dynamicall...
متن کاملModified Structure Function Model Based on Coherent Structures
In the present study, a modified Structure Function was introduced. In this modified Structure Function model, the coefficient of model was computed dynamically base on the coherent structure in the flow field. The ability of this Modified Structure Function was investigated for complex flow over a square cylinder in free stream and a low aspect ratio cylinder confined in a channel. The Results...
متن کاملAn address mapping approach for test data generation of dynamic linked structures
Software testing is an important technique to assure the correctness of the software. One of the essential prerequisite tasks of software testing is test data generation. This paper proposes an approach to generate test data specifically for dynamic pointer structures. In our context, a pointer is considered and handled as a location in memory, represented by a dynamic linear array that expands...
متن کاملDual-band, Dynamically Tunable Plasmonic Metamaterial Absorbers Based on Graphene for Terahertz Frequencies
In this paper, a compact plasmonic metamaterial absorber for terahertz frequencies is proposed and simulated. The absorber is based on metamaterial graphene structures, and benefits from dynamically controllable properties of graphene. Through patterning graphene layers, plasmonic resonances are tailored to provide a dual band as well as an improved bandwidth absorption. Unit cell of the design...
متن کاملDynamic on-mesh procedural generation
We present a method to synthesize procedural models with global structures, such as growth plants, on existing surfaces at interactive time. More generally, our approach extends shape grammars to enable context-sensitive procedural generation on the GPU. Central to our framework is the unified representation of external contexts as texture maps. These generic contexts can be spatially varying p...
متن کامل